Optimal. Leaf size=32 \[ -i \text{Unintegrable}\left (\frac{i \text{csch}^3(c+d x)}{a+b \tanh ^3(c+d x)},x\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0471116, antiderivative size = 0, normalized size of antiderivative = 0., number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0., Rules used = {} \[ \int \frac{\text{csch}^3(c+d x)}{a+b \tanh ^3(c+d x)} \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
Rubi steps
\begin{align*} \int \frac{\text{csch}^3(c+d x)}{a+b \tanh ^3(c+d x)} \, dx &=-\left (i \int \frac{i \text{csch}^3(c+d x)}{a+b \tanh ^3(c+d x)} \, dx\right )\\ \end{align*}
Mathematica [A] time = 0.361888, size = 201, normalized size = 6.28 \[ -\frac{16 b \text{RootSum}\left [\text{$\#$1}^6 a+3 \text{$\#$1}^4 a+3 \text{$\#$1}^2 a+\text{$\#$1}^6 b-3 \text{$\#$1}^4 b+3 \text{$\#$1}^2 b+a-b\& ,\frac{2 \text{$\#$1} \log \left (-\text{$\#$1} \sinh \left (\frac{1}{2} (c+d x)\right )+\text{$\#$1} \cosh \left (\frac{1}{2} (c+d x)\right )-\sinh \left (\frac{1}{2} (c+d x)\right )-\cosh \left (\frac{1}{2} (c+d x)\right )\right )+\text{$\#$1} c+\text{$\#$1} d x}{\text{$\#$1}^4 a+2 \text{$\#$1}^2 a+\text{$\#$1}^4 b-2 \text{$\#$1}^2 b+a+b}\& \right ]+3 \left (\text{csch}^2\left (\frac{1}{2} (c+d x)\right )+\text{sech}^2\left (\frac{1}{2} (c+d x)\right )+4 \log \left (\tanh \left (\frac{1}{2} (c+d x)\right )\right )\right )}{24 a d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.125, size = 144, normalized size = 4.5 \begin{align*}{\frac{1}{8\,da} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) ^{2}}-{\frac{1}{8\,da} \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) ^{-2}}-{\frac{1}{2\,da}\ln \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) \right ) }-{\frac{b}{3\,da}\sum _{{\it \_R}={\it RootOf} \left ( a{{\it \_Z}}^{6}+3\,a{{\it \_Z}}^{4}+8\,b{{\it \_Z}}^{3}+3\,a{{\it \_Z}}^{2}+a \right ) }{\frac{{{\it \_R}}^{4}-2\,{{\it \_R}}^{2}+1}{{{\it \_R}}^{5}a+2\,{{\it \_R}}^{3}a+4\,{{\it \_R}}^{2}b+{\it \_R}\,a}\ln \left ( \tanh \left ({\frac{dx}{2}}+{\frac{c}{2}} \right ) -{\it \_R} \right ) }} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 0., size = 0, normalized size = 0. \begin{align*} -8 \, b \int \frac{e^{\left (3 \, d x + 3 \, c\right )}}{a^{2} - a b +{\left (a^{2} e^{\left (6 \, c\right )} + a b e^{\left (6 \, c\right )}\right )} e^{\left (6 \, d x\right )} + 3 \,{\left (a^{2} e^{\left (4 \, c\right )} - a b e^{\left (4 \, c\right )}\right )} e^{\left (4 \, d x\right )} + 3 \,{\left (a^{2} e^{\left (2 \, c\right )} + a b e^{\left (2 \, c\right )}\right )} e^{\left (2 \, d x\right )}}\,{d x} - \frac{e^{\left (3 \, d x + 3 \, c\right )} + e^{\left (d x + c\right )}}{a d e^{\left (4 \, d x + 4 \, c\right )} - 2 \, a d e^{\left (2 \, d x + 2 \, c\right )} + a d} + \frac{\log \left ({\left (e^{\left (d x + c\right )} + 1\right )} e^{\left (-c\right )}\right )}{2 \, a d} - \frac{\log \left ({\left (e^{\left (d x + c\right )} - 1\right )} e^{\left (-c\right )}\right )}{2 \, a d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\operatorname{csch}^{3}{\left (c + d x \right )}}{a + b \tanh ^{3}{\left (c + d x \right )}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\operatorname{csch}\left (d x + c\right )^{3}}{b \tanh \left (d x + c\right )^{3} + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]